Compliance for reversible client/server interactions
نویسندگان
چکیده
منابع مشابه
Compliance for reversible client/server interactions
In the setting of session behaviours, we study an extension of the concept of compliance when a disciplined form of backtracking is present. After adding checkpoints to the syntax of session behaviours, we formalise the operational semantics via a LTS, and define a natural notion of checkpoint compliance. We then obtain a co-inductive characterisation of such compliance relation, and an axiomat...
متن کاملA ligand-reversible dimerization system for controlling protein-protein interactions.
Chemically induced dimerization provides a general way to gain control over intracellular processes. Typically, FK506-binding protein (FKBP) domains are fused to a signaling domain of interest, allowing crosslinking to be initiated by addition of a bivalent FKBP ligand. In the course of protein engineering studies on human FKBP, we discovered that a single point mutation in the ligand-binding s...
متن کاملAnalysis of reversible lipoprotein-cell interactions.
Quantitation and characterization of freely reversible ligand-receptor interactions in adherent cell lines grown in vitro have been technically difficult to perform. We report the growth of human fibroblasts on a microcarrier bead system which obviates the limitation of cell adherence in such determinations. This system has been applied to the reversible interaction of low density lipoproteins ...
متن کاملThe neglected role of abdominal compliance in organ-organ interactions.
This article is one of ten reviews selected from the Annual Update in Intensive Care and Emergency medicine 2016. Other selected articles can be found online at http://www.biomedcentral.com/collections/annualupdate2016. Further information about the Annual Update in Intensive Care and Emergency Medicine is available from http://www.springer.com/series/8901.
متن کاملStages of change: interactions with treatment compliance and involvement.
Current perspectives on compliance and involvement in treatment often overlook the fact that treatment occurs in the context of a process of change and not vice versa. Each individual moves at a unique pace through a series of stages of change and in a cyclical fashion over a substantial period of time. Treatment personnel and programs should recognize the diversity of stage status in their cli...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2014
ISSN: 2075-2180
DOI: 10.4204/eptcs.162.5